Abstract data type - PDFSEARCH.IO - Document Search Engine

Abstract data type
Results: 296

#	Item
11	Introduction to Smalltalk - Chapter 7 - Introduction to Collections  Ivan TomekChapter 7 - Introduction to Collections Overview Catalogs, inventories, dictionaries, lists of popup menu commands, items in a Add to Reading List Source URL: sdmeta.gforge.inria.fr Language: English - Date: 2014-10-09 10:38:18 Software engineering Computer programming Computing Abstract data types Object-oriented programming languages Data types Smalltalk Foreach loop Set VisualWorks Objective-C Array data type
12	TIE: Principled Reverse Engineering of Types in Binary Programs JongHyup Lee, Thanassis Avgerinos, and David Brumley Carnegie Mellon University {jonglee, thanassis, dbrumley}@cmu.edu Abstract Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Software engineering Computing Computer programming Data types Type theory Concurrent programming languages C++ Decompiler Low-level programming language Type system Type inference Assembly language
13	Microsoft PowerPoint - Lect12advanced_data.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-10-17 09:39:31 Algebra Mathematics Computing Search algorithms Data types Vectors Hashing Error detection and correction Hash function Association list Abstract data type Hash table
14	Algebraic Optimization of Combined Overlay Operations* Claus Dorenbeckt Max J. Egenhofer* National Center for Geographic Information and Analysis University of Maine Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-29 21:38:44 Mathematics Data Computing Cartography Geographic data and information Formal methods Geographic information systems Algebra Abstract data type Spatial analysis Algebraic specification Addition
15	PDF Document Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2015-11-04 18:02:49 Computing Arrays Software engineering Computer programming Data types Java Array data type Array data structure Java syntax Data structure Array programming Abstract data types
16	Name and SURNAME1 Name and SURNAME2 TITLE – BOLD, TO THE LEFT MARGIN, CAPS 15 POINTS, SINGLE SPACE Abstract (in the language of the article – lower case letters 9 points, the indentation of the whole left side 2 cm Add to Reading List Source URL: oficyna.portal.prz.edu.pl Language: English - Date: 2013-12-16 02:24:32 Computing Punctuation HTML HTML element At sign Array data type ASCII Color Latin alphabet
17	Option Values, Arrays, Sequences, and Lazy Evaluation Björn Lisper School of Innovation, Design, and Engineering Mälardalen University Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2013-12-06 09:27:00 Software engineering Computer programming Computing Data types Abstract data types Evaluation strategy Lazy evaluation Array data type Array data structure ALGOL 68 List Subroutine
18	Dynamic Inference of Abstract Types Philip J. Guo Jeff H. Perkins Stephen McCamant Add to Reading List Source URL: pgbovine.net Language: English - Date: 2014-01-03 23:24:44 Software engineering Computing Data types Programming language theory Type theory Type system Array data type Scala Abstract data type Variable Type inference HindleyMilner type system
19	A Simple and General Theoretical Account for Abstract Types Hongwei Xi Boston University Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-08-25 14:30:22 Software engineering Computer programming Declarative programming Type theory Functional programming Procedural programming languages Data types Object-oriented programming Monad ALGOL 68 Polymorphism Abstract type
20	Chapter 2 A Static Checker for Safe Pattern Matching in Haskell Neil Mitchell and Colin Runciman 2.1 Abstract: A Haskell program may fail at runtime with a pattern-match error if Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Functional programming Recursion Type theory Computability theory Theoretical computer science Fold Algebraic data type Pattern matching Constraint logic programming